a, b:. a  b  (a < b  (a = b)) 

latex

Definitions	{T}, , P  Q, P  Q, P & Q, P  Q, P  Q, t  T, x:A. B(x), False
Lemmas	qless irreflexivity, qless transitivity 2 qorder, qle weakening eq qorder, qle weakening lt qorder, qle wf, qless wf, rationals wf, qless complement qorder, qless trichot qorder